

####################################################################
def escape_name(name):
   return name.replace("\\", "\\\\")  \
              .replace('"', '\\"')    \
              .replace("'", "\\'") 

####################################################################
